l{-}union(${\it eq}$; ${\it as}$; ${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce(($\lambda$$a$,$L$. insert(${\it eq}$; $a$; $L$)); ${\it as}$; ${\it bs}$)